Reverse Mathematics of First-order Theories with Finitely Many Models
نویسنده
چکیده
We examine the reverse-mathematical strength of several theorems in classical and effective model theory concerning first-order theories and their number of models. We prove that, among these, most are equivalent to one of the familiar systems RCA0, WKL0, or ACA0. We are led to a purely model-theoretic statement that implies WKL0 but refutes ACA0 over RCA0.
منابع مشابه
Bounded Reverse Mathematics by Phuong Nguyen
Bounded Reverse Mathematics Phuong Nguyen Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2008 First we provide a unified framework for developing theories of Bounded Arithmetic that are associated with uniform classes inside polytime (P) in the same way that Buss’s theory S2 is associated with P. We obtain finitely axiomatized theories many of which turn out ...
متن کاملUnivalent holomorphic functions with fixed finitely many coefficients involving Salagean operator
By using generalized Salagean differential operator a newclass of univalent holomorphic functions with fixed finitely manycoefficients is defined. Coefficient estimates, extreme points,arithmetic mean, and weighted mean properties are investigated.
متن کاملSome rank equalities for finitely many tripotent matrices
A rank equality is established for the sum of finitely many tripotent matrices via elementary block matrix operations. Moreover, by using this equality and Theorems 8 and 10 in [Chen M. and et al. On the open problem related to rank equalities for the sum of finitely many idempotent matrices and its applications, The Scientific World Journal 2014 (2014), Article ID 702413, 7 page...
متن کاملFinitely Generated Annihilating-Ideal Graph of Commutative Rings
Let $R$ be a commutative ring and $mathbb{A}(R)$ be the set of all ideals with non-zero annihilators. Assume that $mathbb{A}^*(R)=mathbb{A}(R)diagdown {0}$ and $mathbb{F}(R)$ denote the set of all finitely generated ideals of $R$. In this paper, we introduce and investigate the {it finitely generated subgraph} of the annihilating-ideal graph of $R$, denoted by $mathbb{AG}_F(R)$. It is the (undi...
متن کاملOn the Universal Theory of Classes of Finite Models1 By
First order theories for which the truth of a universal sentence on their finite models implies the truth on all models are investigated. It is proved that an equational theory has such a property if and only if every finitely presented model is residually finite. The most common classes of algebraic structures are discussed. 0. Introduction. John T. Baldwin in a review of the book Selected pap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 79 شماره
صفحات -
تاریخ انتشار 2014